Classification of Sofic Projective Subdynamics of Multidimensional Shifts of Finite Type

Motivated by Hochman’s notion of subdynamics of a Z subshift [8], we define and examine the projective subdynamics of Z shifts of finite type (SFTs) where we restrict not only the action but also the phase space. We show that any Z sofic shift of positive entropy is the projective subdynamics of a Z2 (Z) SFT, and that there is a simple condition characterizing the class of zero-entropy Z sofic shifts which are not the projective subdynamics of any Z2 SFT. We define notions of stable and unstable subdynamics in analogy with the notions of stable and unstable limit sets in cellular automata theory, and discuss how our results fit into this framework. One-dimensional strictly sofic shifts of positive entropy admit both a stable and an unstable realization, whereas a particular class of zero-entropy Z sofics only allows for an unstable realization. Finally, we prove that the union of Z subshifts all of which are realizable in Z SFTs is again realizable when it contains at least two periodic points, that the projective subdynamics of Z2 SFTs with the uniform filling property (UFP) are always sofic and we exhibit a class of non-sofic Z subshifts which are not the subdynamics of any Z SFT.